Russell O’Connor; "Essential Incompleteness of Arithmetic Verified by Coq" - Internet Explorer 2.0

Russell O’Connor; "Essential Incompleteness of Arithmetic Verified by Coq"

Russell O’Connor

http://r6.ca/Goedel/goedel1.html

一応日本語の解説用訳文みたいなものもある．

https://qiita.com/41semicolon/items/caceb8bc52172190902d